Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
481	COMS W3261: Computer Science Theory Class time: Tuesdays and Thursdays 2:40 - 3:55 PM Class location: MUDD 833 Instructor: Allison Lewko Office hours for Instructor: Tuesdays 10:00 AM - 12:00 PM in CSB 519 Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2014-02-27 18:24:23 Formal languages Applied mathematics Mathematics Theory of computation Computability Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Complexity class Automata theory Models of computation Theoretical computer science
482	Weighted finite-state automata Rogier van Dalen 19 April 2012 Cambridge University Engineering Department Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2014-03-05 05:44:14 Automata theory Models of computation Finite-state machine
483	Ragel State Machine Compiler User Guide by Adrian Thurston Add to Reading List Source URL: www.complang.org Language: English - Date: 2009-05-18 14:20:06 Compiler construction Programming language implementation Pattern matching Automata theory Ragel Lex Finite-state machine Regular expression Parsing Computing Software Parser generators
484	Paxos Made Simple Leslie Lamport 01 Nov 2001 Abstract The Paxos algorithm, when presented in plain English, is very simple. Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2001-11-06 19:48:16 Consensus Information Communications protocol Finite-state machine Distributed algorithm Fault-tolerant computer systems Computing Data
485	Theory Comput. Systems 35, 483–[removed]DOI: [removed]s00224[removed]Theory of Computing Systems Add to Reading List Source URL: www.psrg.csail.mit.edu Language: English - Date: 2007-02-01 15:29:54 Turing machine Computer science Computability theory Formal methods Universal Turing machine Qi Combinatory logic Finite-state machine Algorithm Theoretical computer science Theory of computation Models of computation
486	An Introduction to Input/Output Automata Nancy A. Lynch and Mark R. Tuttle Massachusetts Institute of Technology Cambridge, Mass[removed]November 18, 1988 Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Distributed computing I/O Automaton Computing Computer science Finite-state machine Automaton Büchi automaton Automata theory Models of computation Theoretical computer science
487	Hierarchical Correctness Proofs for Distributed Algorithms Nancy A. Lynch and Mark R. Tuttle Laboratory for Computer Science Massachusetts Institute of Technology Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Arbiter Computing Actor model Computer science Software engineering Automata theory Models of computation Finite-state machine
488	in Artificial Life VIII, Standish, Abbass, Bedau (eds)(MIT Press[removed]pp 264–[removed]SOS++: Finding Smart Behaviors Using Learning and Evolution Bertrand Mesot1 , Eduardo Sanchez1 , Carlos-Andres Pe˜ Add to Reading List Source URL: www.alife.org Language: English - Date: 2013-01-14 08:22:52 Artificial intelligence Models of computation Reinforcement learning Q-learning Finite-state machine Genetic algorithm Algorithm S0 Evolutionary robotics Machine learning Applied mathematics Cybernetics
489	Time-Constrained Automata (Extended Abstract) Michael Merritt AT&T Bell Laboratories Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Computer science Software engineering Computing Büchi automaton Automata theory Models of computation Finite-state machine
490	Hierarchical Correctness Proofs for Distributed Algorithms by Mark R. Tuttle B.S., University of Nebraska{Lincoln Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Theoretical computer science Applied mathematics Algorithm Mathematical logic Finite-state machine Actor model I/O Automaton Cellular automaton Models of computation Automata theory Computer science

UPDATE